What causes a ValueError when converting an empty string to an integer in Python